Rigorous design of robot software: A formal component-based approach
نویسندگان
چکیده
منابع مشابه
Rigorous design of robot software: A formal component-based approach
For the large scale deployment of robots in places such as homes, shopping centers and hospitals, where there is close and regular interaction with humans, robot software integrators and developers may soon need to provide guarantees and formal proofs to certification bodies that their robots are safe, dependable, and behave correctly. This also applies to robots such as extraterrestrial rovers...
متن کاملRigorous Component-based System Design
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall coherency and correctness. The paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework ...
متن کاملA Formal Approach to Software Component Specification
There is a general consensus that the paradigm shift to component-based software development should be accompanied by a corresponding paradigm shift in the underlying approach to specification and reasoning. Work in modular specification and verification has shown the way, and following its lead, in this position paper, we outline our approach to specifying and reasoning about components, which...
متن کاملModel-Based Design of ECU Software - A Component Based Approach
This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an object oriented programming context using classes, attributes and methods. After a survey of typical automotive requirements, an example from a vehicle’s body electronics software shows the component based architecture...
متن کاملAn Approach to Formal Specification of Component- Based Software
Current research on software reuse in Component Based Software Engineering (CBSE) covers a variety of fields, including component design, component specification, component composition, componentbased framework. CBSE is quickly becoming a mainstream approach to software development and most researchers are hoping that it will be solutions to all the problems that led to software crisis. The sof...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Robotics and Autonomous Systems
سال: 2012
ISSN: 0921-8890
DOI: 10.1016/j.robot.2012.09.005